Sorries no son lo difícil: revisión experta en formalización semiautónoma
Descubre cómo la revisión experta reveló graves problemas en una formalización semiautónoma de un teorema clave, más allá de los 'sorries'.
#diseño de api
Cómo diseñar APIs: 5 consideraciones clave
Descubre las 5 consideraciones clave para diseñar APIs predecibles, consistentes y escalables. Aprende sobre interfaces, paradigmas, versionado y más. Mejora tus APIs hoy.